检索结果

Select

1. 基于多智能体理论的列车追踪运行建模与仿真

陈永党建武胡晓辉

计算机应用 2014, 34 (5): 1521-1525. DOI: 10.11772/j.issn.1001-9081.2014.05.1521

摘要（235）

PDF （780KB）（528）

针对CTCS-4下列车运行的特点，研究了移动闭塞条件下列车追踪运行问题。以多智能体(Multi-Agent)理论为基础，建立了一种移动闭塞条件下的多列车追踪运行多智能体系统(MAS)模型，提出了列车与无线闭塞中心(RBC)之间的MAS交互机制，实现了实时车地通信及多列车追踪运行的安全距离控制。仿真研究了列车追踪运行过程中速度变化关系、不同线路初始化密度对线路交通的影响，得到了相应的定量分析结论。仿真结果表明，该MAS模型能够较好地实现列车控制系统中静态环境与动态环境的复杂系统形式化描述，可以准确地描述CTCS-4列车追踪运行机理，所提方法具有较强的适用性和应用性。

参考文献 | 相关文章 | 多维度评价

Select

2. 列车安全距离控制形式化建模与验证

胡晓辉肖知屹陈永李欣

计算机应用 2014, 34 (3): 851-856. DOI: 10.11772/j.issn.1001-9081.2014.03.0851

摘要（506）

PDF （769KB）（382）

随着我国铁路的迅速发展，对列车运行安全性的要求越来越高。采用Event-B形式化建模方法研究了高速列车安全距离控制形式化验证问题，以Event-B形式化仿真工具Rodin为基础，通过结合多智能体理论，引入感知决策法则，实现了无线闭塞中心(RBC)与列车的车地通信，建立了多列车运行的安全距离控制模型。仿真研究了高速列车最小间隔追踪控制运行，对列车安全距离控车行为进行了形式化建模并进行了POs证明义务验证。仿真结果表明，对于CTCS列车控制系统的复杂逻辑关联行为，采用提出的Event-B和多智能体系统(MAS)结合的形式化验证方法，可进行系统规范的模型验证，对于复杂系统的逻辑验证有较强的实际意义。

相关文章 | 多维度评价

Select

3. 不同人员分布下高铁车厢人员疏散仿真

胡晓辉田淇元陈永李欣

计算机应用 2013, 33 (01): 281-284. DOI: 10.3724/SP.J.1087.2013.00281

摘要（813）

PDF （795KB）（608）

在元胞自动机理论的基础上，针对在高铁车厢内人员安全疏散的问题，提出一种考虑人员个体差异，在多速的情况下，通过人员实时调整自身移动情况，对人员疏散过程建立模型的方法，并进行计算机仿真加以研究分析。实验结果表明，根据个体差异，强中弱的分布方式在疏散时间上比弱中强的分布方式快2个时间步。同时，灾害点出现在车厢内不同位置，疏散时间差异较大。对不同人员分布以及灾害点发生情况下的仿真研究，更加真实地模拟了人员紧急疏散过程和疏散状况，为人员安全疏散问题提供理论指导意义。

参考文献 | 相关文章 | 多维度评价

Select

4. 无线传感器网络模型的形式化建模与分析方法

胡晓辉姜浩曾雪娜

计算机应用 2010, 30 (07): 1722-1724.

摘要（1476）

PDF （409KB）（1318）

将形式化的分析工具Petri网应用在无线传感器网络的分簇和节点覆盖的研究中，可以对无线传感器网络进行形式化的描述和快速原型开发，建立相应的形式化模型。由于Petri网具有坚实的数学理论，可以更好地研究无线传感器网络在分簇和节点覆盖过程中的能量约束问题，为更优的分簇结构和覆盖方法的设计提供理论基础和数值依据，并对已有的方法进行改进。